updated manual to describe enumerable type checking