Changed the code for transpose, get-element, and started making proper? be a precondition for the functions.