Atoms as objects implemented - seems to work
atoms as types sucessfully implemented