Fix expression parsers bugs
Add binary tests
Add language specifications