Fix to ensure splice patterns can be used in function signatures
Fix to typeOf for splice patterns, plus merge of changes