Clojurians Log v2

Hi ; I've been messing around with this type system and am wondering if there's a way to model domain types? e.g. I'm using datascript in a hobby project, and it'd be nice to distinguish when a DB assigned ID (positive int) is expected vs a transaction ID (which can be an int or string). It'd be nice to keep track of intent like "this ID is for transactions", "this string is an email address" etc,