always refine interpretation morphism using canonical constant's definition theorem
be more explicit: made sml/nj happy
extended stream library
tuned
sharpened criterion: bare named target is only at the bottom level