pub fn free_var(level: usize, constraint: Constraint) -> Type