compiled system with template types