- Significant progress on type set implementation, almost complete