session types conclusion and basic styling