Starts of a semantic checker for the alt cache.
Adds the start of a semantic checker.
Adds a semantic checking alt cache.