iface: remove `option`, only `optional` is correct
drwxr-xr-x - .chglog
-rw-r--r-- 10 .envrc
-rw-r--r-- 175 .gitignore
-rw-r--r-- 948 .hlint.yaml
drwxr-xr-x - .reuse
-rw-r--r-- 1419 ChangeLog.md
drwxr-xr-x - LICENSES
-rw-r--r-- 2017 Makefile
-rw-r--r-- 11 cabal.project
-rw-r--r-- 523 flake.lock
-rw-r--r-- 987 flake.nix
drwxr-xr-x - src
-rw-r--r-- 3667 symantic-base.cabal