adding beta reduction & substitution + add typ_cast_typ_refl to exprD_rw