current tests of type inference code work, but verify_apply() is a stub