Tiny type-checker with dependent types