This document gives a succinct introduction to the Michelson language, and proceeds to describe the semantics of the new types and instructions in the following features: elliptic curve construction support, more cryptographic hash algorithms among many other additions.