Added type system and benchmark sections