Improved specs for basic types