indique/n (elm): supplies bounded-nat with shortened names
Keywords: elm