Types within PAVE