Interface RealCreation<Name>

interface RealCreation<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 | CoercibleRational): RatNum<Name>;
    vector(prefix: string, count: number): Arith<Name>[];
}