𝘶-substitution: multiplying by a constant