new_type 0.4.1

Experimental implementation of newtypes by type level logic.
Documentation