clear: removes all bindings (a fresh start)
clear;
Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999