From types to theory — ReaderExpo