Fix in computing types from splice sub-patterns of list patterns.
Fixed importing private functions for extends in the type checker.