Better positioning & sizing of axiom text entry. Can remove interpretations (closes #1).