Handle multiple-argument functions at CESK-level, not when parsing
Add abstract counting as an option (disabled by default)
Use bottom value for initial value of a letrec binding