Begin defining core types