Improvements to m.prop, m.redraw.strategy.

Makes m.prop() generic for better type inference, allows access to
m.redraw.strategy, which was previously impossible.

mithril/mithril.d.ts

@@ -8,13 +8,13 @@
 interface MithrilStatic {
 	(selector: string, attributes: Object, children?: any): MithrilVirtualElement;
 	(selector: string, children?: any): MithrilVirtualElement;
-	prop(value?: any): (value?: any) => any;
+    prop<T>(value?: T): (value?: T) => T;
 	withAttr(property: string, callback: (value: any) => void): (e: Event) => any;
 	module(rootElement: Node, module: MithrilModule): void;
 	trust(html: string): String;
 	render(rootElement: Element, children?: any): void;
 	render(rootElement: HTMLDocument, children?: any): void;
-	redraw(): void;
+    redraw: MithrilRedraw;
 	route(rootElement: Element, defaultRoute: string, routes: { [key: string]: MithrilModule }): void;
 	route(rootElement: HTMLDocument, defaultRoute: string, routes: { [key: string]: MithrilModule }): void;
 	route(path: string, params?: any, shouldReplaceHistory?: boolean): void;
@@ -27,6 +27,11 @@ interface MithrilStatic {
 	endComputation(): void;
 }
 
+interface MithrilRedraw {
+    (): void;
+    strategy: (value?: string) => string;
+}
+
 interface MithrilVirtualElement {
 	tag: string;
 	attrs: Object;