Registers a model of type M with its initial instance and its single-model handlers. The initial instance is the sole source of that model's starting value — there is no INIT action fan-out.
if M is registered more than once.