Mostly done. Need to fix Semantic Analyzer for t3.decaf