Convert session type model to annotations