Too eager whnf_ty
Bug in creating a hint
Fewer line breaks in debug printout
slightly more elaborate example
Slightly better pattern matching, still broken.
Merge branch 'master' into tt2