Major refactor: Kind -> Type union and ReturnType
Updated agnostic (markdown)
Created agnostic (markdown)