Expand templates

From ProleWiki
Expand templates