add a __repr__ function to FullExtension