added AtomExpr class
some helper methods (for converting sigs and atoms to other stuff, e.g., tuple set, type, expression, ...)
small fixes and comments
timing alloy solving