Simple Addition - Prolog Typing CST Test