feat(07): add left, right, above, below predicates to blocks world
feat(07): add left, right, above, below predicates to blocks world

fpvandoorn/logic_and_proof,avigad/logic_and_proof,soonhokong/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,rlewis1988/logic_and_proof,fpvandoorn/logic_and_proof,fpvandoorn/logic_and_proof,soonhokong/logic_and_proof,avigad/logic_and_proof,soonhokong/logic_and_proof,leanprover/logic_and_proof,leanprover/logic_and_proof,rlewis1988/logic_and_proof,rlewis1988/logic_and_proof