List Sum - Ada Typing CST Test