When the type of a variable is ________ bound, the name of the variable can be thought of as being bound to a type.