Removing type reflection operations for now
Swapping arguments in 'pair'
Adding map operations
Separating maybe operations into separate class
Refactoring type lookups into dedicated methods
Separating constructor functions into their own expressions classes