Renaming, clarified more edge cases around matchers
Added a few different varieties of creating reactive systems.