Better struture for Ltac internalization environments in Constrintern.