Make the first parameter in messages the pid of the caller
Extract and test rules compilation
Move async to a closure and start the fixpoint runner
Add support for rules block
Properly group rules by rhs
Add data-based recursion
Add data-recursion example