Implicational System

Renaming IS class & propagate new name
Check Style for ImplicationalSystem
Partial test for ImplicationalSystem