Several changes: moved FieldName to Common, changed structure of Proof
Added FieldName into Common
Renamed extend to static_exp, made proofs identified by a static_exp
instead of a name.
Added use and import tokens
Added axiom and instance kinds
Added new tokens
Added import statements.
Dropped AliasKind