Added prepend and prependF tests; also added contracts for those two.