A Formalization of Minimalist Syntax. (18th January 2016)