Well-formedness rules for fn-def types

[Niko Matsakis]

We need tests that fn-def types are well-formed (and maybe code?). To be well-formed, the where-clauses on the fn must be met. (That said, in the MIR type checker, I am currently adding in implications that will basically always make this true.)