Update TODO
Use block match format in conv_type
Fix bad unification pattern
More direct CTORS match lookup
Optimize map_type_vars