pkg/

This package defines source code entities - abstractions that end-user (a programmer) operates on.

Package typesystem implements type-system with generics and structural subtyping.