First push

Push a naive version of MiniSQL .