argtyped (pypi): Command line arguments, with types
Keywords: argument-parsers|command-line|python3|typed-python