Add shm/modify-type-constraint

Add new type constraints to a selected 'full' type signature node.

This is sort of a work around for not being able to select the relevant portion of a type constraint node. So simply select the whole type signature and invoke the command.