-record(add, {
    lhs :: integer_complexity@expression:expression(),
    rhs :: integer_complexity@expression:expression()
}).