Create JavaTypeSystem.md