Implemention of `GenericIdiomaticAssertion`

This SP has addressed the issue(#119). 

Please, forgive me for not discussing enough in the issue thread. I can accept even if this SP is not pulled. I'll be glad to give me any comment to improve this implemention.