Fixpoint3.BoxingType.Types

Types represent the different types a program can contain.

Unknown is a temporary placeholder for the current type. For instance, we cannot know the type of x in the body atom P(x) until we meet a value, (for instance P(1))