specbot: add MOP symbols
Rework how specbot looks up specifications