improved APIs for pvs model templates + additional refactoring of PVS Printer for model-based generation with Handlebars