Improved type checker style, added undefined type