add tests
@laughedelic this looks like the compiler making Any after several projections
back to old union, things work
add typeset size (and record) by hand
Merge branch 'bug/union/bound'