Add conditional `impl` support

[VoilaNeighbor]

This crate implements const assertions with trait bounds, rendering it possible to write conditional impl blocks. Integrating that functionality into this crate could enrich its compile-time checking abilities.