Fix a few compiler warnings
Show reversable theorems as part of admin progress tracking
Separate trait and theorem progress trackers #16