Engineering Data Types