List Sum - Scheme Typing CST Test