Add remarks on typing: weak vs strong, dynamic vs static,  assertion vs check.