Boolean valued analysis and type I $AW^*$-algebras