Note:

• Use of name 'dt' not 'delta-t' for all parameters and contraint equations
• Each connector is a validated «BindingConnector»
• The constants of the equations assume particular Units as assigned to ValueTypes elsewhere.

CAVEAT: only callout of constraints on a ConstraintBlock - not via the constraint block usage - is currently supported.

Image: