initial core.typed on smileys works with some no-checks