Hook into primary constructor effect inference
some tests for freshness of constructors, fixes locality inference for constructors