Almost fixed the issue. Turns out we need every behavior-carrying signal to carry its activity profile. Behaviors cannot be created out of typeOne(), as we had attempted to do with behLiteralBeh. Good news: This has led to an obvious formulation of behClosure.