all base types are now applicable objects that construct instances of themselves