AlgolML: An Executable Notation for Algorithms and Programs