Support for installing agumented_types

I have not added a php53 version because I couldn’t get it to compile