Made type level naturals, sized vectors, and proofs other library.
misc. change