--# -path=.:present

concrete FaceFin of Face = FaceI with
  (Syntax = SyntaxFin), 
  (LexFace = LexFaceFin) ;