Fixed a bug with reducing type contexts
Fixed a bug with constraints keyword
Better error message
Have * trail types in pretty printing
Fixed a bug with line_start