Add Singleton bound on Stack context
Add Singleton bound on Stack context

This improves type inference for the (path-dependent) `Tree`,
`Type`, etc. used with a concrete `c`.

propensive/magnolia,propensive/magnolia