feat(frontends/lean): add '[parsing-only]' modifier to notation declarations, closes #305