definition module EstherInterFace

stringToDynamic	:: !String !*World -> (!Dynamic,!*World)
unifyable 		:: !Dynamic !Dynamic -> (!Bool,!Dynamic)