Added bottom and signum function and implemented variants on support as primitives