programmable subscribable codable subtractable substitutable inscriptable overloadable subdivisible sublicensable castable