Improved support for pointers (still quite preliminary though)