v0.3.0beta

• String literals
• Exponentiation operation on floats (and their Descriptor analysis)
• Scientific notation accepted for floating-point literals
• None type (and its constructor None) built-in.
• sqrt function that is well-typed.
• Gradable booleans and conditional expressions
• Species and Basis indexed descriptors
• Dimension graded descriptor (akin to Unit) but with closed type.
• Python-style def function blocks with typed arguments and return
• Unicode identifiers (Greek and a few other symbols) allowed
• Affine spaces