Minor commenting, added warning statement to tell specializer writers that they didn't have transform() return a ConcreteSpecializedFunction instance (if finalize isn't implemented, transform is supposed to return a ConcreteSpecializedFunction instance).