Moved Brazil's LaTeX macros to separate file
Added hard-coded type-equivalence search to TT