Adding Size interface

for querying the size information of a collection in safe manner
independently of whether or not this collection happens to be
infinite. Added implementation for linked lists that can track
their own construction from the empty list, including the usage
of SeqBuilder.