Improved the load operation.
Added another example file (church_encoding.lam).