Type Assembly Language