added tree-refl, tree-sym, tree-trans for bisimilarity.
added stream-refl, stream-sym, stream-trans, etc
corrected end of file to LF!! (my emacs uses CRLF for default...)