Split out checkable type show
Move builtin types to own file
Make show module