formal types