Formalization of Polymorphic Binding-Time Analysis