Updated the parser to deal with polymorphic types and kinds. Working on the subordination engine