pass2 complete: all types added to typesystem