tests for freshness, seems to look good. need to test capturing of constructor parameters
pass correct template typers to inferPrimaryConstrEffect when checking (not inferring) the effect. important because anf transform might use the typer, and passing the wrong one can fail type checking