Carlo Calculus: Core Framework and Extended Behavioural Toolkit | Synapse