Runtime validation in type annotations

Using Emacs as a TUI