(Almost) full grammar implemented
Bad scheme tests readdition and consecutive corrections