cisness 1.0.1

Runtime 'live witness' of two types being the same
Documentation