Add CIL (counted int list) class: t+