`+ X(Int)` should not be a ground type

[Negabinary]

Breaking example on dev:

let x : + B( ) = B(1) in
let y : + B(Int) = x in
let B(n) = y in
n + 2

I think constructors should only be ground if all their arguments are hole type?