Final Data Types and Their Specification | Synapse