carries set
refactored and letters <-> word
firstChar > 0 constraint works
doing unification
unifying and allDifferent. not quite working....
PlusCond For comfort
allDiff and Unifying seems to work
wrote solver. not working.