Started arithmetic parsing and formal specification