Alternative Core language for GHC plugins