Work λ

Various Reworkings

Syntactic Correspondences
$\text{Form}$	$\text{String}$	$\text{Graph}$
	$\texttt{(} a \texttt{)}$
	$\texttt{(} a \texttt{,} b \texttt{)}$
	$\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}$