More foolishness with sexy types
Refactor planner; initial work towards backward chaining