ivory: userinputdecode fixed for ghc 7.6.2 typechecker

* let me know if this breaks things for 7.6.1

Reminder: we **root our trust** in this type checker
flight support build fixes