fix implicit variables being created for types of where items

this broke where items.
fixed by going back to old behavior. so for now f = [\x -> x] won't get an implicit variable