Use virtual inheritance in parser
Update readme for new theory workflow