More verbose examples. Fixes in types.php