Add a note about type introspection and assertions; TODO