refactor(library/algebra/category/morphism): make sure bug #231 has been fixed
fix(frontends/lean/parser): segfault when ending scope without opening, fixes #244