Added: support for :with clauses, simplify & and simplify-one, defrules macro and a simple example.