soma: System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism