6.2 The universal super–type

Core Type: <top>

The conventional parent of all the types, with the exception of <void>.

Constructor on <top>: <top> type-constructor obj

Return obj itself.

Type predicate on <top>: <true> type-predicate obj

Always return #t.