Some annotations. Fail faster in apply.
Change fatal assertions into (helpful) internal type errors.