Algebraic Thinking for evolution of pure functional domain models