Change/simplify projections

More aggressive relimination of

    Lambda { Apply = ... } # Apply

types. Review by @adriaanm @DarkDimius