Renamings and better exports
Remove the old pattern.rkt