Renamed strong bisim to \approx and moved subSnoc to RenamingAndSubst
Added weak bisimilarity.
Started on Completeness.