A simple tagged-typing system for JS objects