A típusok reprezentációja