`;;` as syntax sugar for `#Cons`; Show location on type error at term generated by `with` #615

Closed developedby closed 1 week ago