if these changes are in the latest released version of DarwinBots...
Everything described in this post except the "phase 2" of the conditonal logic paradym (allowing stores in the cond section of genes) has been implemented for several months now including clearbool, clearint, dropbool and dropint.
For an example of a complex single gene bot (over 1k base pairs) which contains absolutely no cond sections and uses the inline conditional paradym and the clear operators extensivly, take a look at Seasnake 1.0.