Added types to SpliceMain