feat(math): add context-free language operations (#1894) #4973

Job	Run time
static	11s
python (dispatch)	29s
boundaries (mcp)	30s
boundaries (process)	28s
python (math)	53s
python (integration)	36s
python (catalog)	33s
python (cli)	32s
python (tooling)	22s
Lean Runtime	0s
wheel (Python ${{ matrix.python-version }})	0s
Coverage	17s
required	3s
	4m 54s

Navigation Menu