Category:Programming type-aiding templates