Fixed ome inferred type issues and introduced jamie's compiler. Modified some type and stack issues with said compiler so it now works with some applications but still has address issues with others. Working on it.