Recursive decider codes

The promised raw-decider-code presentation of recursive membership now lives in Recursive.Decidability.Membership. This module is retained as a compatibility import for the former path.