Actualized types from EXPRESS