Added pretty printing, added prototype tree construction