Added possible implicit shift syntax

Also clarified full shift's encoding