added explicit kind annotations to Member, to allow (uninhabied) Member proofs for different-kinded contexts and elements
added explicit kind annotations to Member, to allow (uninhabied) Member proofs for different-kinded contexts and elements

eddywestbrook/hobbits,eddywestbrook/hobbits