unicode fixes.  abstract interpreter briefly described. most of the content is in. now to make it pretty :)