deprecate 61 partial constructors

Partial constructors are prone to error, as it is easy to forget to
initialise all relevant members.

Author: Daniel Kroening