greatly improved performance

put the kind inference right place (not at app but at lam)

TODO do we need to do that for Alt as well? (since alt is lam too)
maybe not because we already did kind checking for ctors???