Support "time.sub(number) -> time" expressions

[mfenniak]

Should be similar to the existing "time.add(number) -> time" expressions, but with negative timespans and a new operator. This one should be pretty similar to the implementation done as part of #152 that was scoped down to just the add operators.