on ALE official examples, the editor does not typecheck the file.
this is actually an issue on ALE side gemoc/ale-lang#26 where the dsl keywords are not aligned with GEMOC.
Decision was made to change ALE keyword to those used by GEMOC (ie. ecore and ale instead of syntax and behavior )