Add a basic 'Type Checker'