Automatically add type annotations to type ensuring
Add match-like "passes" notation to denote IO-tests