constraint generation fixes
change constraint generation to array, somewhat prettier
more size inference
more size inference
oops
size inf