type system in latex for the report