This module provides the built-in type environment for Egison programs. Note: Type checking is now handled by Infer.hs. This module only provides the built-in type environment.