Loading annotation for type.world