proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;