EmptyList type, also fix some specs.