adding types soundness tech report