Text this: Models of Type Theory Based on Moore Paths