revising build target for bst; experimenting with a move away from subst_of_env in the whnf case of normalization