added sagetypes.h (post and thread) and some function prototypes