Uses previously added type synonyms.
Removes fromJust from MatchmakerView.  Adds AuthState.