Bug in inferTypesSym for Lam
Type inference with top-level lambdas
Stronger type for inferTypesTop