fixed bool in Type.sml