Yet more destructor functions for TypeCheck.AST.Type