process spawning (wip), term polymorphic types, heaps, msg queues (wip)