Remove operations that can be replaced in stdlib

type:internal

For LIGO developers

Many operations are not really needed anymore, as they can be replaced by directly Michelson embedding in the stdlib.

This MR removes some of these operations by modifying the stdlib with embedded Michelson code.

Changelog details: