add subtraction support
add multiplication support
refactor stack depth checking