Initial attempt at annotation declarations and source code spans