WIP
WIP on overhaul of SL term and type representation
WIP
WIP|
WIP
WIP
WIP
WIP
WIP
WIP
WIP
WIP
WIP
WIP|
WIP
WIP
WIP
WIP
WIP
Change how error messages are formatted