Document advanced type-level DDD to make illegal states irrepresentable at compile time

[dagmendez]

To do

• [] Phantom types for domain modeling
• [] Refined types for domain constraints
• [] Compile-time validation using inline and macros
• [] Create examples showing compile-time error prevention