fold the type validity figure into the syntax figure