type Context = {
    next: number;
    env: Env;
}
type Env = {
    [name: string]: Type;
};

type Substitution = {
    [key: string]: Type;
};