Notes on basic types.