Simplify some things, use FIXME comments for stuff that needs discussing with conformal, panic() in not-implemented code paths and add/expand some comments