fix hairy subtyping
fix (cons nil)
why was that not there