Update README
Add notes
Disable failing test
Use singleton types for tagging
Fix typing of derived tables