Raise error if supercombinators aren't fully applied
Implement template instantiation for let and letrec