Added traits to check for function size and whether a type is iterable.
Added function len.