無意味に型を MonadState [a] とかにしてもしょうがないしまず具体的にすることにした
意味のない import や LANGUAGE を取り除いた
-abc x y z は -a -b -c x y z に展開する
Types.hs コミットするの忘れてた
optmatch.cabal にもモジュールの変化に対応
よく考えたら keyword と argument は全然 Basic じやなくて たとえば argument なら -から始まる引数はエラーとかあるし Popular にした。あとこれは GNU スタイルのほうがいいかも？
不要な import を省いた