Add shm/modify-type-constraint

Add new type constraints to a selected 'full' type signature node