Get Defn to compile; also report ambiguous overloads

Set comprehensions will be the next task

Switch type-checking to errormonad everywhere

The optionmonad doesn't hold any advantage, and flipping back and forth
between them was just annoying.