When parsing an expression at some point one has to do type checking (i.e. is it possible to add an integer to a float). There are a view options: - During evaluation. (currently implemented) - In a separate function. - During parsing, by the parser.