Syntheto: A Surface Language for APT and ACL2