Simple Addition - Scheme Typing CST Test