defs: Add more unicode mappings
More language tweaking
More unicode mappings
Add FRET formalization
Introduce analysis work