• CEL Rationale
• General Philosophy
• Be Safe for Evaluation
• Be Safe for Writing
• Allow Multiple Evaluation Strategies
• Monotonic Partial Evaluation
• Numeric types and operations
• Integral types
• Numeric conversions