Added augmentedtypes 0.6.2 for PHP 5.6