corrects a typo in the definition of IntShowable

/cc @eed3si9n

Unfortunately fundeps, annottees, flavors and untypedness will have to wait until one of the upcoming weekends, because I still haven't finished the slides for the next week's talk. Sorry.