Ignore std lib
Rename and fix type representation iso proof