Type System for 6.945