test language for an automath style type system