added Fixpoint class
added type_traits.h, this header rudimentarily implements std type
traits