Fix vertex I/O, and document LinratAngleExpr JSON format