Unobtrusive lightweight development type-checking framework