Add a TypeError type to the type checker that when evaluated generates a pretty error message (just like Haskell one) #511

Closed aripiprazole closed 2 months ago