Start implementation of untyped boolean system