CORE: rename assertion functions.
CORE: Update spec descriptions.
CORE: refactor type system.
CORE: fix contains? for vectors.
CORE: refactor assertions.