Working on #cleflang tooling that might look a bit familiar to #fsharp UoM fans and Ada and VHDL devs too. Getting dimensional type inference to work in the Native Type Universe was a fun challenge.