feat(frontends/lean): nicer notation for dependent if-then-else
feat(library/definitional): add "datastructure" for storing recursive equations