[ cosmetic ] changing a couple of notations

the variable rule now looks more like an application which makes
sense given that we feed a spine to the variable.