Replaced definitions and examples using bind with equivalent definitions and examples using type packages.