Check well-formedness of the types of `LocalDecls` in MIR

[Niko Matsakis]

On #77, @voidc and I were discussing how we need to check the well-formedness of local variables during MIR type check, but we decided to hold off because of ongoing work about how to best represent well-formedness goals and the like.