Quaternion refactor seperating algebraic and geometric properties

Quaternions.jl

module Quaternions

# This is a type of number
immutable Quaternion{T <: Real} <: Number
   s::T
   x::T
   y::T
   z::T
end

# constructors, operations, etc.
# +, -, *, /, etc as standard quaternion algebra - no geometry insinuations.

# This object is all about geometry, and not a number per-se.
immutable RotationQuaternion{T <: Real} # not sure about this name
    q::Quaternion{T}
    norm::Bool # May or may not be implemented this way...
end

# constructors, etc
# inv, *, /, \ as inverse or composed RotationQuaternion. 
# *, \ on vectors to apply rotations to vectors

end #module