QUTE: A Functional Language Based on Unification