Interface IntCreation<Name>

interface IntCreation<Name extends string> {
    const(name: string): Arith<Name>;
    consts(names: string | string[]): Arith<Name>[];
    fresh(prefix?: string): Arith<Name>;
    sort(): ArithSort<Name>;
    val(value: string | number | bigint): IntNum<Name>;
    vector(prefix: string, count: number): Arith<Name>[];
}