Update body primary constructors to use this (#4175)

This PR re-introduces the body form of primary constructors. Moreover, it uses `this` in the declaration of a primary body constructor, as discussed at the language team meeting last Wednesday.