Define datatype, type, type kind in lib. core now compiles
Update spec for API Changes
Update imports