Clinical Pure Types as a Fuzzy Partition | Synapse