Concept: Type inference

FLAT uses formal languages to type strings

Using formal languages as type constraints to prevent string-based security vulnerabilities