Added Binding and MapPair implementations, and started on the work of rewriting terms.