Ex contradictione sequitur quodlibet

Adds `error` and `undefined` to the Core and removes usage of abort.