A High-Level Language for Modeling Algorithms and Their Properties