prefer existing lattice_syntax and no_lattice_syntax, with proper 'no_notation' as intended;