fix project def
another constructor; type annotations in test code