Types within ACT