Unknown strategies and their requirements

Safety and the step bound use only types, ownership, and normalized branching, so terminal laws also exist for unknown strategies. The concrete diamond, path maps, and no-signaling theorem are not transferred before characterization.