Progress
Progress
Progress
Refactoring
Untyped progress
Untyped types (duh)
Fix untyped types