make the unit signature of intrinsics be 'on demand' rather than registering them all at the start
make the unit signature of intrinsics be 'on demand' rather than registering them all at the start

ucam-cl-dtg/naps-camfort