Initial Type System