Better documentation on type construction