Wrote first tests and fixed bug in encode_types using verify_type().