pretty-printing session types
an abstract type of access points
change pretty printer to match parser for %
unification for session variables and duality