Added debugging output to equivalence
Merge branch 'brazil-standalone' of https://github.com/andrejbauer/tt into brazil-standalone
Added Syntax.occurs and Syntax.occurs_ty
Added Syntax.extract_pis
Added string_of_ty and string_of_term functions
Added more debugging (tracing) output
Deleted erroneous -> in the definition of plus