Implement a -K|--no-known-types switch to turn off -k|--known-types.