s the functionality of the TTI library which queries whether some inner
      element of a given name within a type exists, the library also includes functionality
      for generating a nested type if it exists, else a marker type if it does not
      exist. By marker type is meant a type either internally created by the library,
      with no functionality, or designated by the end-user to represent the same
      idea.
    </p>
<p>
      First I will explain the syntax and use of this functionality and t