Explicitly expose the default value kind (top, bottom or value)

Explicitly expose the default value kind (top, bottom or value) #40