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.