Counter with Higher-Order Functions - Scala Typing CST Test