Update desugarer/typechecker
Translate quantifiers