propose useful literal values
propose type dec for union/intersection type