Begin adding session types and session communication