Fix wrong definition of type<=?
Answer Exercise 2.84