Type and its expressiveness compiled by hku/imt1_1&2, 09/10 (click2enlarge)