Both term and type symbols are allowed
No symbol should be included
Term symbols are allowed
Type and stable term symbols are allowed