Be less restrictive about base version.
Fixed Timer A tutorial somehow.
Added types to Compilation functions.
Added upper bound to base dependency.