^believe and ^want shouldn't be executeable. TODO: replace (^believe,a,value) with <(*,a,value) --> BELIEVE> (same for want). Also needs change in term generation where the truth value name TRUE and FALSE comes.