Type evaluation- no known bugs