Ox compiles common λ-calculi: untyped, typed, System F, et al.