forwardTypeExpression2 now returns a lambda allowing point -> type lookups