Building on the english spec, construct a prototype version of Heterogeneous Narwhal in the Stateright framework. This may end up being integrated with a formal spec.

This should ultimately be integrated with a Heterogeneous Paxos Stateright prototype and an execution engine Stateright prototype for a Typhon Stateright prototype.

Prerequisites

• https://github.com/anoma/specs/issues/306
• Heterogeneous Narwhal English Spec #41