Monadic.Per_axis
For interfacing with the user only; potentially slow.
val zap_to_floor : 'a Axis.t -> ('a, 'l * allowed) mode -> 'a
val zap_to_ceil : 'a Axis.t -> ('a, allowed * 'r) mode -> 'a