Moved some functions from Fun.TypeChecker to Equ.Types