Experimenting with the TL type system, implemented a few types