Source/sink identifiers.
Source/Sink identifiers are IntegerLiteralConvertible.
Identifiers can be source/sink identifiers.
Parameters & returns are sources & sinks respectively.