Dont use proxy types as members

4 jobs for feature/semilinearfunctional in 2 minutes and 38 seconds (queued for 1 second)