Typechecking errors don’t tell you the line and column

[robrix]

I think we’re going to want to use a Cofree structure for Expr to accomplish this.