SSemInternals: Derive Typeable instance where possible

Not entirely sure why this is currently done with a macro. Perhaps this
could be always derived now?