Added types and arity, and updated README