Set constraints of clafers first implemented, need to do ints. Need to optimize instance constraints.
First full implementation of joins