urjo-lean

feat: add macros to prove impossibility

fix: add missing consecutive colmun rule

fix: s/line/row/

Initial commit