1. Make traits sealed
2. Add pattern matching error handling in Interpreter