refactor(frontends/lean/inductive_cmd): move auxiliary method to expr.h
fix(library/type): modify declaration order and make sure Type1, Type2 and Type3 notations have precedence over Type' during pretty printing
fix(library/module): bug in import_module
checkpoint