Update tetra-tipos.rkt