You are correct again. See the other comment about the type system hack. The only reason it is like this is because right now, it solves the problem we want to solve.