Corrected bugs in typing; info is now "sticky" in substitution and instanciation: the substituted term will have the same info tag as the original term. Corrected printing bug.