Refactored empty sequence to extend Sequence<T>
Added Count / HasDefiniteSize / IsTailDefined properties and Force()