Sane, type checked templates in the same vein as liquid and jinja2