Update program: add labels for session types and levels