Removing Typeable constraints in interpretations

- Removing the constraint wherever it is used
  only for casting Either a b to Either () ()
Merge remote-tracking branch 'origin/master'