Enable more tests: inferReplicateOfReplicate fails
Cancel optimization so that cyclic types are detected
joinMaybe test no longer broken