Insertion methods now return void instead of #instrs inserted. Also, use