Fixed bug in parses with multiple constraints on a free
Finished construction of kind constraints