Move type coercion into TypeResolver

This may merit a rename...
Get --noflag and friends to work
Update roadmap