Add rule for empty type constructor