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