equals package:Agda

Check that the first sort equal to the second.