Change/simplify projections

More aggressive relimination of

    Lambda { Apply = ... } # Apply

types. Review by @adriaanm @DarkDimius 
Fair enough. Maybe a `// TODO: use Type's orElse combinator once it is inlined` then?