Added two new functions, type_power_of_two and type_positive_float, both have survived minor-to-moderate testing. Minor edits to some comments.