logrel: Change nat to int
This MR changes logical relations. It changes the type nat in F_mu_ref_conc to int. It also adds a few missing cases in the definition of well-typed contexts.
This MR changes logical relations. It changes the type nat in F_mu_ref_conc to int. It also adds a few missing cases in the definition of well-typed contexts.