vfmt type checker