Faulty program is accepted in a weird way
Expected behavior: This program should give an error about free variable "use". That's because the right keyword is "return".
const = fn x.fn y.x;
const (use [1C] 10) (True)
Actual behavior: The compiler seems to recognize this program as:
const = fn x.fn y.x;
const