* Added example of rational number "abstraction type"