basic types checked