On unbounded and binary parameters in multi-parametric programming: applications to mixed-integer bilevel optimization and duality theory