Extension types for DBJS engine