Finished the type system. Have not generate the java code yet.