Merge branch 'ui-contract' into 'master'

Adopt type hints, and checks for user input

See merge request inducer/pytato!1