feat(frontends/lean): add declaration to namespace without opening it, closes #161