Autism Type System

a type is defined by composing bitmasks of its attributes T(Bitmask)
|1 is Float or Integer
|2 is signed or unsigned
|4  increase 32bits-> width x2(long long/double)
|8  reduce 32bits-> width 1/2 (short)
|16 reduce/increase width extra (short->short=1byte or long->long double/quad)
|32 is Volatile
|64 is Const
|128 Sign 0-/1+ if HasSign
|256 Register Storage Class
|512 Align In Memory
|1024 Thread Local
|2048 is Pointer?
|4096 Restrict Pointer Aliasing
Should cost only 1 bit per each extra attribute