Refactor functions that use `CI` inputs in drasil-example

[JacquesCarette]

These should instead have a polymorphic parameter and constraints corresponding to the actually-used lenses. These should be done on a case-by-case basis, to be as precise as possible.