added further type information to union test