Added EmptyRecord and EmptyBlock to the spec
Basic EmptyRecord and EmptyBlock implementation