Add spec tests
Add a basic compiler