Consolidating type aliases, values, signatures, and data definitions into single definition type