Added INC, SWAP and POP
Added command and stack ranking for type checking
Implemented type checking evaluation