Support bottom type

[wylswz]

• Bottom type can be used to represent computations that never return a result, such as 1/0. Instead of throwing a runtime exception, bind a bottom instead
• provide a function that always return bottom

{
  a << @bottom
}