added type-checked then().
edited Readme.
 - rewrote sample codes to use the type-checked then().
 - mentioned the type-checked then().