pub fn pad_length(
    input: &mut NormalForm,
    max_len: Rational64,
    defs: &mut Defs<Term>
) -> Result<(), Error>