added new builtin
update to int32.k
change GlobalSetting name for java backend from matchingLogic to javaBackend
fix some typos, some reformatting