core: fix misreported universe in type error message
demo: Add Core Salt boxing demo