theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-trans, ≤a-prop)

theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-trans, ≤a-prop) #403