Corrected a bug in the unification tactic, separated the term info definition with base types and the top level 'play' environment.