Marked types, parameters and identifiers used in expression