Started implementing the mgu with lists.