semantic: Make IRVerifier print address of node
semantic: Add extyper visitor to replace exptyper.
test: Test types 8 is wrong
test: Add property bugs test