Get very most STG constructs working

Missing: mutually recursive bindings and probably a few primops.
Fix handling of local recursive bindings