Add specs and implementation of si_sub().
Add tests for si_lt and si_mult.