Basic Type System Utilities

[maxitg]

Changes

• Introduces utilities for working with types: SetReplaceObjectType, SetReplaceObjectQ, $SetReplaceTypes and $SetReplaceProperties.
• Some of these already did exist as package scope utilities, but they could be helpful for users especially when dealing with functions such as SetReplaceTypeConvert.

Comments

• 617 needs to be merged first.

Examples

• Examples below do not work directly because they use fake types. In order to try them out, do something like

  AppendTo[$ContextPath, "SetReplace`PackageScope`"];

  and then evaluate the definitions (line 15 to 79) from typeSystem.wlt.

• You can now use new utilities:

  In[] := $SetReplaceTypes
  Out[] = {"EvenInteger", "Expression", "HalfInteger", "Real", "String"}

  In[] := $SetReplaceProperties
  Out[] = {description, multipliedHalf}

  In[] := SetReplaceObjectType[evenInteger[2]]
  Out[] = "EvenInteger"

  In[] := SetReplaceObjectQ[halfInteger[4]]
  Out[] = True

---

This change is