Added the minus operation with the same priority of the plus operation.
Added || and / operands.
Added some type checker error messages.