Migrate 'core' to 'types', add notes

Each of the types also now have a list of known issues and a to-do list
github, use new types path
Merge branch 'cleanup/core-to-assert'