Every value except false is considered as true
Prepare for CESIK*Ξ machine
Implement CESIK*Ξ
Remove duplicates in implementation of pop*