Currently, typing is simply removed. But instead, it could be converted to comments so that type checking would still work.