Symbolic module

Added back the (basic) symbolic backend as a separate module.
@dlucanu @dwightguth please review