Add `-check p` option to enable type pattern checks separately from conformity checks