Add ListType.
Be more consistent with type checks.
Add set type.