Dimensions in program synthesis | Synapse