TS Linux x86-64

First implementation of the Stellogen metaprogramming language for stellar resolution using Large Star Collider interpretater.

Features:

• print messages and constellations with print <id> or print <constellation>
• define constellations with def <id> <constellation> end?

To be implemented:

• Better handling of error messages
• Inductives macros for formulas, terms and interactive tactics
• Definition of orthogonality relations
• Effects directly integrated in stellar resolution, triggered by local interaction
• Logical system definition and lock (module system)

LSC Linux x86-64

• Add placeholder _ for unused variables
• Add constant $ (can be used to represent the empty list)
• Extend the syntax of rays (identifiers inspired by Scheme with - or ?)