clear up specification for empty() and __len__()

issue #34