updated parser, splitting off error handling
first pass at instances done
added kind inferrence, seems to work yay
now adding type class functions to 'checked' list