Branded authority types limit type checking on message types in spawn functions.

[le0-0]

The way actor types are implemented now means that no type checking is being performed on the types of messages that the actors from a spawn function actually processes. In cases where the spawn function directly calls the spawn function from @nact/core, the message type is explicitly mentioned in the signature of the main actor function, but in more advanced actor types – like those derived from DerivedAuthority – this is not the case.

[le0-0]

A solution is to remove branded type characteristics from actor types, leaving only the message handling characteristics.