Added a very initial attempt to resolve constratins with symbols such as f or m. Need to fix some bugs in the resolution of method typing constraints.