requireAvailable

Fails typed when a typed step's filter is absent from this build (law 6), naming the filter. Raw steps are exempt by design; their KDoc says whose claim they are.