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

Did this weakening actually break any programs? Or did you just take it out for simplification?