Heap

According to the script, the type constructor DEF should have FunctionName Arity CodeAddress.

@meierk @soegtropr please check this.