Builtin spec updated to version 0.4.

Created by: jeremybennett

* specifications/corev-builtin-spec.md: Corrections from Pascal Gouedo, add quick links table at start of each section.