abstract Literals = {
  cat S ;
  
  fun IsString  : String -> S ;
      IsInteger : Int    -> S ;
      IsFloat   : Float  -> S ;
      
      IsEq : Int -> S ;

}