Looking very good!
One addition I would add is that the UDC contract should be deployed using deploy_from_zero=TRUE.
This will result in it having a deterministic address across all instances of StarkNet which is very important for all the tooling (deploy transaction construction, deployed contract address calculation, etc…)