Thm* Assignment 
Type
== Unit+Unit+Unit
Thm* Type
Thm* Var Type
T == 
x:S. x T
| Assignment |
Def Assignment == Var
Thm* Assignment |
| Three |
Def == Unit+Unit+Unit
Thm* |
| Var |
Def Var == Atom
Thm* Var |
| subtype |
Def S T == x:S. x T
|
About:
 |  |  |  |  |  |  |  |