feat(frontends/lean): elaborate inductive datatypes and introduction rules as a single elaboration problem
chore(version): bump universe level to force .olean recompilation