Check #1 added more subparts

Added checks to:
1) Mod
2) Relations
3) Equality