Add strictness annotations.
Defined AddOrder completely + tests.