insertEffects: propagate hasMove in applyLambda, make conservative builtins have derived symbols