[Type checker] Fuse typeCheck(Function|Constructor|Destructor)BodyUntil().

These three functions shared a bunch of code in common. Fuse them into
their only caller, typeCheckAbstractFunctionBodyUntil() and centralize
the point at which we set the body of the function.

Author: DougGregor