Removed head conditionals and renamed formula Activator->TypesafeActivator