move sorts
fix
clearing up the boundary between kore and builtins