Initial work for static session types.