Implemented a 5 way type signature parition with SententialInstanceGeneration