You seem to be describing a type system.