Refactored Grammer for better readability
Refactored TypeChecker regarding abbreviations / readability
Wrapped string input as Message