Allow SpecConstr to specialize for unboxed literals

Small thing I did with @sheaf

Fixes #22781

Allows functions like

    go :: Int# -> Int# -> Int#
    go 0# 1# = 1#
    go _  0# = 3#
    go n x = go n (x -# 1# )

To be specialized by SpecConstr.