Remove the conn/fconn distinction and elevate marks to a new form constructor
Parsing equality and inequality and using _fmt for _tex