Types within Satis