export function add<T extends Int | "float">(l: Term<T>, r: number): Op2<T>;