auto: Export either variants and flesh out the either traits