Support for installing agumented_types