Add readme infos on the Type system model
Add readme infos on the Type system model

Including how to generate it
gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon