Added EmptyRecord and EmptyBlock to the spec