Removed the type restriction from behClosure, and placed it on behMerge instead. Now we can represent tautologies and compile-time knowledge outside all partitions, but developers may find themselves needing to bundle explicit activity signals with most of their first-class behaviors so they can use them with behMerge. These activity signals were just implicit before, so we're giving more control to the programmer.