Rename planner to compiler
Rename laws to theory