Added a no solution found print out in case the query fails
Added missing context operations.
Merge branch 'master' into matching

Conflicts:
	TypeRecon.sml