When printing AllocatableValue objects the current code restricts you to a single character to identify the type through the use of getTypeChar(). The returned type chars are platform dependent and there's clear way to include any extra information. Instead ValueKind should provide an extension point that lets subclasses return a full String, which can simply default to the result of toString.