progress on Bijection<> code - now about usable (though no efficeint impls yet)