test language for an automath style type system - View it on GitHub