Support for P logic

• Extension of Haskell 98
  • Predicate definitions
  • Assertions
• Parsing, pretty printing, type checking