Give these simple types -- it's bad to have things with no type.