rename Symbol -> Def in comments and var names (sym -> def, etc.)