Initial implementation of our own symbol abstraction