Not sure why we need formal type if only for document purposes. Could include sufficient information in the description