* Make never rest type top-like * Add higher-order test * properly support types which reduce to never Co-authored-by: Wesley Wigham <wwigham@gmail.com>