Fixed several problems
Fixed several problems and started working on parsing first order modal
logic