Adding Formalize

I think Normalize and Formalize are like two peas in a pod; this patch adds Formalize in as an optional import