You're probably on the right track. Every hunk of symbols is probably a valid type expression in some system. Including a square root type.