Tweak variable type in primitive
Improve instructions docs and outline subroutine headers