Added address flow builder, and type constraint generator.