Initial commit
Work on Basic.v
Complete andb_eq_orb without 'cheating'