Or is the fact that everything has to have symbols to resolve names properly without typechecking?