Added basic axiom, working simple brute force search.
Added more rule types.
Use character IDs instead of integers.