Type System InternalsΒΆ

To do.