core: kind inference where kind of tyvar is constrained as its the type of
      something used as the body of a lambda abstraction