Implement Term translation with variables.