Started a contract shorthands module

Adjusted contracts of predicates module