Kompile - making built-in sorts and operations more visible. (removed from SDF and added directly to K)