update README to agree with code
update trace output
beggining of implicit directed lifting
expand the typeclass driven lifting