Types within STM