Franca: trueness to type