Type System Deep Dive — Entidade