Stav dette: Interface -oriented programming and representation inference