Straight-line programs from CSLib

Wires, renamings, gate lines, and programs are CSLib's types. Their constructors, evaluation, depths, and structural laws are re-exported for existing imports.