export constructors, add Integer type for now