Added 'while' primitive; added ordering primitives {=, <, <=, >, >=}