scratch: experimental type checker for Julia, no need for additional type annotations - View it on GitHub