Cleaned up error messages for syntax errors
Added semantic validation for temporal constraints
Changed error handling for ace editor