Runtime checks as nominal types