Don't require a type upfront, watch for and report more errors