Cleanup tc/funapp and make it use infer like tc/apply

Ah right.