Type system version 0