Type inheritance checking and first steps of better demos