semantic: Add stub extyper visitor to replace exptyper.
test: Test types 8 is wrong
test: Add property bugs test