The SubScript extension to the Scala programming language