Add more debugging and type handlers

Update the enesim example