Type system for EPP