Fix terminology for π-finite types (#1234)

Fix terminology for π-finite types (#1234) #148