Add more destructor functions for TypeCheck.AST.Type
New module Cryptol.TypeCheck.TypeOf has functions to compute Type of an Expr