Multiplication for complex numbers
Add some prims for chaperones test
Also make use of `label` rather than `jump`