Releasing version 0.7.1
Rearrange TODO priority.