Picolit: trueness to type