Add initial outline of q3.k3.

Still doesn't typecheck, some weird record-projection errors exist.