typecheck

TypeScript type-safety rules and guidance.