Syntax additions for higher kinded recursive types