shell: Add 'has symbols' annotation to params and returns