The surjection property and computable type