Add new sig classes

New SententialInstanceGeneration classes to handle more argument type pairs