Adding arity and type tests for read.