On the Transformational Implementation approach to programming | Synapse