Even Numbers Filter - Prolog Typing CST Test