A streamlined language with dynamically created types