Typechecker: add spl exceptions declaration

Add Spl Exceptions definition in hhi file