Text this: Hyper-MacNeille Completions of Heyting Algebras.