Simplify the return type check. Since we check for unions explicitly, we don't have to worry about unions containing structs or arrays.