Tweak the small-step semantics

To support 0-ary application as in the big step