Template restrictions on modified templates

According to the standard (15.8 Table 13B), a modified template may have a less strict restriction than the base template.

TITAN currently allows any template restriction on modified templates.