Use _ instead of trivial; move union examples into sep file