added SEAL Type to compile.ml