Improving Main
Cleanup in ReadMD

I now use a dedicated type to represent the state in p_element
Allow nested math