fix predicates on monomorphic tycon
Merge pull request #75 from ucsd-progsys/monomorphic_tycon

fix predicates on monomorphic tycon