Add license.
Add TODO
Add README, remove useless postcondition from the size() method in tests.