More reasonable Measure instance for IntToken -> SomeTri. RingP instance
needs to be implemented, and conversion IntToken -> Token is yet to be done.