You are right. normalizeType_ seems like it ends up being cleaner.

If types is true but type-assertions is false we just strip the type annotation. Isn't that the case today?