A Formalization of Minimalist Syntax