Cleanup optimizer, better/more safer pattern matching

[dedmen]

Instead of just

the "-" operator do a
the "-" operator if left side arg is type number and right side is also number

instead of matching possible optimizations only by what script command is used, also take argument type into account and implement seperate functions per argument type combinations