plutus-core-1.48.0.0: Language library for Plutus Core