Added seed material for first-order logic
Rewrote language files so as to support parser merging

Also removed unused language folders