Add addition
Rename add level op rule
Update test to actually interpret and fix style