fixing a few places in absento where goals were used instead of constraints
putting composition tests at the end
adding exports to the lang
fixing a place in fd where a goal is used instead of a constraint
fixup of absento, ck
added some dead code that will handle pub/sub, not sure this is the right direction yet