Cerl type fixes

Fixes some incomplete type declarations and Edoc comments, restores the alphabetic order of Core Erlang records, and takes out some dead code.