Refactor AstGenerator methods: some require non-empty env, some do not

In Python (where this was ported from) we'd raise an EmptyEnv error but that's a bit overkill for C++ status-propagating style, we should be able to indicate which production rules require a non-empty env and which are ok with empty envs.