Initial code wonderings, quite a bit of unification todo yet