getQualifiedAccess(). A version of the typestate switch is now working. Working towards typestate fields