some proposed horrible syntax for annotations, to start with the simplest possible thing