infer

Infer type system

The type system

Implementions