A very small writeup on branded types [in Typescript, but the approach is applicable to many other languages] in application to Connascence of Execution