Allow class constructors to have typestate constraints

[catamorphism]

...unless we remove constraints on functions in general. (Not sure whether we came to consensus on that or not.) See FIXME in typeck::collect::convert.

[nikomatsakis]

Not relevant as of commit 41a21f0, which removed current incarnation of typestate.