List Sum - Prolog Typing CST Test