stub node protocol tests
a bit more smallcheck
get rid of GADTs

They're horrible to use.