Experimental and Formal Language Design Applied to Control Constructs for Interactive Computing