Le cœur du projet est un compilateur destiné à montrer qu'il est possible de créér en langage de programmation où le compilateur peut vérifier les opérations sur les valeurs du programme de la création de ces valeurs jusqu'à leur destruction. Cela permet d'éviter qu'un programme plante parce qu'une opération illogique a pu être introduite dans le comportement légitime d'une valeur. Le langage sera dans un premier temps dédié à l'utilisation de bases de données non relationnelles, fondées sur la notion d'ensemble.

Par exemple, le compilateur a pour vocation de refuser un code qui pourrait extraire une valeur d'une liste vide, si le type représentant une liste l'interdit.

Le compilateur n'est pour le moment qu'à l'état de spécifications, et les bonnes idées s'amassent sans toutefois trouver suffisamment de cohérence entre elles pour avoir un langage utilisable en pratique.