insure

Unobtrusive lightweight development type-checking framework