added inheritance for varformals