resolving a fishiness in the type relations for Typ_lam; tripped by a bug reported by Vincent Cheval