fix predicates on monomorphic tycon

Fixpoint used to crash when we defined an abstract refinement for monomorphic type constructors. 

See test/pos/fixme.hs