WIP: Allow multiple names in a single INLINE/NOINLINE pragma

With this we allow specifying multiple names in a single INLINE/NOINLINE pragma:

{-# INLINE f, g, x #-}

Previously we'd need one pragma per definition:

{-# INLINE f #-}
{-# INLINE g #-}
{-# INLINE x #-}