let subst env s = MetaPath.subst env (MetaPath.mk (false, s))