Parametrize the type of `DatatypeBuilder` field names#462

AlexanderPortland wants to merge 1 commit intoprove-rs:masterprove-rs/z3.rs:masterfrom

AlexanderPortland:dt-builder-strAlexanderPortland/z3.rs:dt-builder-strCopy head branch name to clipboard