start writing up semantics for rewrite of active library

based on collaboration at KU with Andy Gill and Ed Komp, 26 June 2013