Fixed interface loading bug, and a few other little changes.
Code compiles. Now, on to the testsuite. Also, documentation updated.