avoid compiling unnecessary wrappers, and one less vararg
more minor performance tweaks

- avoid py-match in get-field
- don't create an unnecessary wrapper around the predicate in desugar
- avoid creating unnecessary any and blank wrappers in typecheck